Software verification and validation - PDFSEARCH.IO - Document Search Engine

Software verification and validation
Results: 576

#	Item
541	DECC QA guidance for MODELS QUALITY ASSURANCE GUIDE Alec Waterhouse Head of Modelling & Head of Operation Research Profession Add to Reading List Source URL: www.gov.uk Language: English - Date: 2013-12-18 04:30:26 Evaluation Quality assurance Quality QA Software development process Validation ChecKing Verification and validation Management Pharmaceutical industry Validity Science
542	IAEA-TECDOC[removed]Solutions for cost effective assessment of software based instrumentation and control systems in nuclear power plants Add to Reading List Source URL: www-pub.iaea.org Language: English - Date: 2002-12-19 04:37:25 Technology Reliability engineering Software development process Validation International Atomic Energy Agency Systems engineering process Quality assurance Verification Nuclear power Systems engineering Science Energy
543	Precision Reuse for Efficient Regression Verification † Dirk Beyer 1 , Stefan Löwe 1 , Evgeny Novikov 2 , Andreas Stahlbauer 1 , and Philipp Wendler 1 1 Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 06:59:23 Formal methods Logic in computer science Model checkers Software testing Software verification Formal verification Model checking Verification and validation BLAST model checker Theoretical computer science Applied mathematics Mathematical software
544	AO[removed]Annex 19 Template for Installation Manual AO[removed]Annex 19 Template for Installation Manual AO 10477 Add to Reading List Source URL: publications.europa.eu Language: English - Date: 2012-11-07 04:03:14 Software engineering Pharmaceutical industry Validity Installation SYS Software deployment Software development process Verification and validation Validation System software Software Installation software
545	JCM_MN_GL_VV_ver01.0 Joint Crediting Mechanism Guidelines for Validation and Verification CONTENTS 1. Add to Reading List Source URL: www.meti.go.jp Language: English - Date: 2013-05-23 20:37:02 Science Clinical research Quality Validation ISO 14064 Verification and validation Systems science Software development process Knowledge Pharmaceutical industry Validity Systems engineering
546	AO[removed]Annex 20 Template for Installation Manual AO[removed]Annex 20 Template for Installation Manual AO 10463 Add to Reading List Source URL: publications.europa.eu Language: English - Date: 2012-06-14 09:03:08 Software engineering Pharmaceutical industry Validity Installation SYS Software deployment Software development process Verification and validation Validation System software Software Installation software
547	Terms of Reference for a Verification Mission to xx - xx Month 200X EUROPEAN COMMISSION – UNITED NATIONS Add to Reading List Source URL: ec.europa.eu Language: English - Date: 2014-05-26 08:08:24 Knowledge Verification and validation Audit Internal audit Verification Software development process Systems engineering process Systems engineering Science Systems science
548	Experimental Evaluation of Verification and Validation Tools on Martian Rover Software Guillaume Brat, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Mike Lowry, Corina Pasareanu, Arnaud Venet, Willem Visser, Ri Add to Reading List Source URL: www.agoldberg.org Language: English - Date: 2008-11-03 13:00:13 Software engineering Software quality Program analysis Software bug Java Pathfinder Static program analysis Model checking Debugging Verification and validation Software development Formal methods Software testing
549	Guideline on process validation for the manufacture of biotechnology-derived active substances and data to be provided in the regulatory submission Add to Reading List Source URL: www.seikiken.or.jp Language: English - Date: 2014-05-14 19:46:24 Clinical research Quality Pharmaceutics Systems engineering Technology Validation Verification and validation Software development process European Medicines Agency Pharmaceutical industry Validity Science
550	ᔡ Peptides & proteins Process validation: Manufacturing peptide APIs Trishul Shah of the Polypeptide Group overviews the steps involved in the life-cycle approach encouraged by the Add to Reading List Source URL: www.polypeptide.com Language: English - Date: 2014-05-27 05:06:58 Pharmaceutical sciences Validation Process analytical technology Verification and validation Software development process Quality by Design Risk assessment Food and Drug Administration Cold chain Pharmaceutical industry Pharmaceutics Science

UPDATE